Distributive lattice

Results: 92



#Item
11Periodic lattice-ordered pregroups are distributive Nikolaos Galatos and Peter Jipsen Abstract. It is proved that any lattice-ordered pregroup that satisfies an identity of the form xll...l = xrr...r (for the same number

Periodic lattice-ordered pregroups are distributive Nikolaos Galatos and Peter Jipsen Abstract. It is proved that any lattice-ordered pregroup that satisfies an identity of the form xll...l = xrr...r (for the same number

Add to Reading List

Source URL: math.chapman.edu

Language: English - Date: 2012-06-06 12:27:58
    12The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen

    The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen

    Add to Reading List

    Source URL: math.chapman.edu

    Language: English - Date: 2012-06-15 00:09:09
    13On Hibi rings Sara Saeedi Madani (Joint with: V. Ene, J. Herzog, T. Hibi) Institute for Research in Fundamental Sciences (IPM) November 2014

    On Hibi rings Sara Saeedi Madani (Joint with: V. Ene, J. Herzog, T. Hibi) Institute for Research in Fundamental Sciences (IPM) November 2014

    Add to Reading List

    Source URL: math.ipm.ac.ir

    Language: English - Date: 2014-11-20 00:57:50
    14Inducing Class 4 Behavior on the Basis of Lattice Analysis

    Inducing Class 4 Behavior on the Basis of Lattice Analysis

    Add to Reading List

    Source URL: www.complex-systems.com

    Language: English - Date: 2012-06-20 13:21:04
    15Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

    Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    Language: English - Date: 2014-08-27 06:04:04
    16Deriving Laws from Ordering Relations Kevin H. Knuth Computational Sci. Div., NASA Ames Research Ctr., M/S 269-3, Moffett Field CAAbstract. The effect of Richard T. Cox’s contribution to probability theory was t

    Deriving Laws from Ordering Relations Kevin H. Knuth Computational Sci. Div., NASA Ames Research Ctr., M/S 269-3, Moffett Field CAAbstract. The effect of Richard T. Cox’s contribution to probability theory was t

    Add to Reading List

    Source URL: empslocal.ex.ac.uk

    Language: English - Date: 2005-10-25 03:31:02
    17Social Networks–444 Lattices and dimensional representations: matrix decompositions and ordering structures Philippa E. Pattison a,∗ , Ronald L. Breiger b a

    Social Networks–444 Lattices and dimensional representations: matrix decompositions and ordering structures Philippa E. Pattison a,∗ , Ronald L. Breiger b a

    Add to Reading List

    Source URL: www.u.arizona.edu

    Language: English - Date: 2002-09-19 13:05:38
    18ARTICLE IN PRESS Neurocomputing–274 www.elsevier.com/locate/neucom Lattice duality: The origin of probability

    ARTICLE IN PRESS Neurocomputing–274 www.elsevier.com/locate/neucom Lattice duality: The origin of probability

    Add to Reading List

    Source URL: empslocal.ex.ac.uk

    Language: English - Date: 2005-10-25 03:31:06
    19Joseph MuscatOrdered Sets The morphisms on a relation (digraph)

    Joseph MuscatOrdered Sets The morphisms on a relation (digraph)

    Add to Reading List

    Source URL: staff.um.edu.mt

    Language: English - Date: 2012-11-15 05:04:30
    20Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

    Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

    Add to Reading List

    Source URL: isabelle.in.tum.de

    Language: English - Date: 2014-08-27 06:04:04